Integrand size = 31, antiderivative size = 256 \[ \int \frac {a+b \log \left (c (d+e x)^n\right )}{(d+e x) \sqrt {f+g x}} \, dx=\frac {2 b n \text {arctanh}\left (\frac {\sqrt {e} \sqrt {f+g x}}{\sqrt {e f-d g}}\right )^2}{\sqrt {e} \sqrt {e f-d g}}-\frac {2 \text {arctanh}\left (\frac {\sqrt {e} \sqrt {f+g x}}{\sqrt {e f-d g}}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )}{\sqrt {e} \sqrt {e f-d g}}-\frac {4 b n \text {arctanh}\left (\frac {\sqrt {e} \sqrt {f+g x}}{\sqrt {e f-d g}}\right ) \log \left (\frac {2}{1-\frac {\sqrt {e} \sqrt {f+g x}}{\sqrt {e f-d g}}}\right )}{\sqrt {e} \sqrt {e f-d g}}-\frac {2 b n \operatorname {PolyLog}\left (2,1-\frac {2}{1-\frac {\sqrt {e} \sqrt {f+g x}}{\sqrt {e f-d g}}}\right )}{\sqrt {e} \sqrt {e f-d g}} \]
2*b*n*arctanh(e^(1/2)*(g*x+f)^(1/2)/(-d*g+e*f)^(1/2))^2/e^(1/2)/(-d*g+e*f) ^(1/2)-2*arctanh(e^(1/2)*(g*x+f)^(1/2)/(-d*g+e*f)^(1/2))*(a+b*ln(c*(e*x+d) ^n))/e^(1/2)/(-d*g+e*f)^(1/2)-4*b*n*arctanh(e^(1/2)*(g*x+f)^(1/2)/(-d*g+e* f)^(1/2))*ln(2/(1-e^(1/2)*(g*x+f)^(1/2)/(-d*g+e*f)^(1/2)))/e^(1/2)/(-d*g+e *f)^(1/2)-2*b*n*polylog(2,1-2/(1-e^(1/2)*(g*x+f)^(1/2)/(-d*g+e*f)^(1/2)))/ e^(1/2)/(-d*g+e*f)^(1/2)
Result contains complex when optimal does not.
Time = 0.23 (sec) , antiderivative size = 281, normalized size of antiderivative = 1.10 \[ \int \frac {a+b \log \left (c (d+e x)^n\right )}{(d+e x) \sqrt {f+g x}} \, dx=\frac {-2 a \sqrt {-e f+d g} \text {arctanh}\left (\frac {\sqrt {e} \sqrt {f+g x}}{\sqrt {e f-d g}}\right )+2 b \sqrt {e f-d g} \arctan \left (\frac {\sqrt {e} \sqrt {f+g x}}{\sqrt {-e f+d g}}\right ) \left (i n \arctan \left (\frac {\sqrt {e} \sqrt {f+g x}}{\sqrt {-e f+d g}}\right )+\log \left (c (d+e x)^n\right )+2 n \log \left (\frac {2 i}{i-\frac {\sqrt {e} \sqrt {f+g x}}{\sqrt {-e f+d g}}}\right )\right )+2 i b \sqrt {e f-d g} n \operatorname {PolyLog}\left (2,-\frac {\sqrt {-e f+d g}-i \sqrt {e} \sqrt {f+g x}}{\sqrt {-e f+d g}+i \sqrt {e} \sqrt {f+g x}}\right )}{\sqrt {e} \sqrt {-(e f-d g)^2}} \]
(-2*a*Sqrt[-(e*f) + d*g]*ArcTanh[(Sqrt[e]*Sqrt[f + g*x])/Sqrt[e*f - d*g]] + 2*b*Sqrt[e*f - d*g]*ArcTan[(Sqrt[e]*Sqrt[f + g*x])/Sqrt[-(e*f) + d*g]]*( I*n*ArcTan[(Sqrt[e]*Sqrt[f + g*x])/Sqrt[-(e*f) + d*g]] + Log[c*(d + e*x)^n ] + 2*n*Log[(2*I)/(I - (Sqrt[e]*Sqrt[f + g*x])/Sqrt[-(e*f) + d*g])]) + (2* I)*b*Sqrt[e*f - d*g]*n*PolyLog[2, -((Sqrt[-(e*f) + d*g] - I*Sqrt[e]*Sqrt[f + g*x])/(Sqrt[-(e*f) + d*g] + I*Sqrt[e]*Sqrt[f + g*x]))])/(Sqrt[e]*Sqrt[- (e*f - d*g)^2])
Time = 1.14 (sec) , antiderivative size = 355, normalized size of antiderivative = 1.39, number of steps used = 10, number of rules used = 9, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.290, Rules used = {2858, 2790, 27, 7267, 2092, 6546, 6470, 2849, 2752}
Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.
\(\displaystyle \int \frac {a+b \log \left (c (d+e x)^n\right )}{(d+e x) \sqrt {f+g x}} \, dx\) |
\(\Big \downarrow \) 2858 |
\(\displaystyle \frac {\int \frac {a+b \log \left (c (d+e x)^n\right )}{(d+e x) \sqrt {f-\frac {d g}{e}+\frac {g (d+e x)}{e}}}d(d+e x)}{e}\) |
\(\Big \downarrow \) 2790 |
\(\displaystyle \frac {-b n \int -\frac {2 \sqrt {e} \text {arctanh}\left (\frac {\sqrt {e} \sqrt {f-\frac {d g}{e}+\frac {g (d+e x)}{e}}}{\sqrt {e f-d g}}\right )}{\sqrt {e f-d g} (d+e x)}d(d+e x)-\frac {2 \sqrt {e} \text {arctanh}\left (\frac {\sqrt {e} \sqrt {\frac {g (d+e x)}{e}-\frac {d g}{e}+f}}{\sqrt {e f-d g}}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )}{\sqrt {e f-d g}}}{e}\) |
\(\Big \downarrow \) 27 |
\(\displaystyle \frac {\frac {2 b \sqrt {e} n \int \frac {\text {arctanh}\left (\frac {\sqrt {e} \sqrt {f-\frac {d g}{e}+\frac {g (d+e x)}{e}}}{\sqrt {e f-d g}}\right )}{d+e x}d(d+e x)}{\sqrt {e f-d g}}-\frac {2 \sqrt {e} \text {arctanh}\left (\frac {\sqrt {e} \sqrt {\frac {g (d+e x)}{e}-\frac {d g}{e}+f}}{\sqrt {e f-d g}}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )}{\sqrt {e f-d g}}}{e}\) |
\(\Big \downarrow \) 7267 |
\(\displaystyle \frac {\frac {4 b e^{3/2} n \int \frac {\sqrt {f-\frac {d g}{e}+\frac {g (d+e x)}{e}} \text {arctanh}\left (\frac {\sqrt {e} \sqrt {f-\frac {d g}{e}+\frac {g (d+e x)}{e}}}{\sqrt {e f-d g}}\right )}{d g-e \left (\frac {d g}{e}-\frac {g (d+e x)}{e}\right )}d\sqrt {f-\frac {d g}{e}+\frac {g (d+e x)}{e}}}{\sqrt {e f-d g}}-\frac {2 \sqrt {e} \text {arctanh}\left (\frac {\sqrt {e} \sqrt {\frac {g (d+e x)}{e}-\frac {d g}{e}+f}}{\sqrt {e f-d g}}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )}{\sqrt {e f-d g}}}{e}\) |
\(\Big \downarrow \) 2092 |
\(\displaystyle \frac {\frac {4 b e^{3/2} n \int \frac {\sqrt {f-\frac {d g}{e}+\frac {g (d+e x)}{e}} \text {arctanh}\left (\frac {\sqrt {e} \sqrt {f-\frac {d g}{e}+\frac {g (d+e x)}{e}}}{\sqrt {e f-d g}}\right )}{-e f+d g+e \left (f-\frac {d g}{e}+\frac {g (d+e x)}{e}\right )}d\sqrt {f-\frac {d g}{e}+\frac {g (d+e x)}{e}}}{\sqrt {e f-d g}}-\frac {2 \sqrt {e} \text {arctanh}\left (\frac {\sqrt {e} \sqrt {\frac {g (d+e x)}{e}-\frac {d g}{e}+f}}{\sqrt {e f-d g}}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )}{\sqrt {e f-d g}}}{e}\) |
\(\Big \downarrow \) 6546 |
\(\displaystyle \frac {\frac {4 b e^{3/2} n \left (\frac {\text {arctanh}\left (\frac {\sqrt {e} \sqrt {\frac {g (d+e x)}{e}-\frac {d g}{e}+f}}{\sqrt {e f-d g}}\right )^2}{2 e}-\frac {\int \frac {\text {arctanh}\left (\frac {\sqrt {e} \sqrt {f-\frac {d g}{e}+\frac {g (d+e x)}{e}}}{\sqrt {e f-d g}}\right )}{1-\frac {\sqrt {e} \sqrt {f-\frac {d g}{e}+\frac {g (d+e x)}{e}}}{\sqrt {e f-d g}}}d\sqrt {f-\frac {d g}{e}+\frac {g (d+e x)}{e}}}{\sqrt {e} \sqrt {e f-d g}}\right )}{\sqrt {e f-d g}}-\frac {2 \sqrt {e} \text {arctanh}\left (\frac {\sqrt {e} \sqrt {\frac {g (d+e x)}{e}-\frac {d g}{e}+f}}{\sqrt {e f-d g}}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )}{\sqrt {e f-d g}}}{e}\) |
\(\Big \downarrow \) 6470 |
\(\displaystyle \frac {\frac {4 b e^{3/2} n \left (\frac {\text {arctanh}\left (\frac {\sqrt {e} \sqrt {\frac {g (d+e x)}{e}-\frac {d g}{e}+f}}{\sqrt {e f-d g}}\right )^2}{2 e}-\frac {\frac {\sqrt {e f-d g} \text {arctanh}\left (\frac {\sqrt {e} \sqrt {\frac {g (d+e x)}{e}-\frac {d g}{e}+f}}{\sqrt {e f-d g}}\right ) \log \left (\frac {2}{1-\frac {\sqrt {e} \sqrt {\frac {g (d+e x)}{e}-\frac {d g}{e}+f}}{\sqrt {e f-d g}}}\right )}{\sqrt {e}}-\int \frac {\log \left (\frac {2}{1-\frac {\sqrt {e} \sqrt {f-\frac {d g}{e}+\frac {g (d+e x)}{e}}}{\sqrt {e f-d g}}}\right )}{1-\frac {e \left (f-\frac {d g}{e}+\frac {g (d+e x)}{e}\right )}{e f-d g}}d\sqrt {f-\frac {d g}{e}+\frac {g (d+e x)}{e}}}{\sqrt {e} \sqrt {e f-d g}}\right )}{\sqrt {e f-d g}}-\frac {2 \sqrt {e} \text {arctanh}\left (\frac {\sqrt {e} \sqrt {\frac {g (d+e x)}{e}-\frac {d g}{e}+f}}{\sqrt {e f-d g}}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )}{\sqrt {e f-d g}}}{e}\) |
\(\Big \downarrow \) 2849 |
\(\displaystyle \frac {\frac {4 b e^{3/2} n \left (\frac {\text {arctanh}\left (\frac {\sqrt {e} \sqrt {\frac {g (d+e x)}{e}-\frac {d g}{e}+f}}{\sqrt {e f-d g}}\right )^2}{2 e}-\frac {\frac {\sqrt {e f-d g} \int \frac {\log \left (\frac {2}{1-\frac {\sqrt {e} \sqrt {f-\frac {d g}{e}+\frac {g (d+e x)}{e}}}{\sqrt {e f-d g}}}\right )}{1-\frac {2}{1-\frac {\sqrt {e} \sqrt {f-\frac {d g}{e}+\frac {g (d+e x)}{e}}}{\sqrt {e f-d g}}}}d\frac {1}{1-\frac {\sqrt {e} \sqrt {f-\frac {d g}{e}+\frac {g (d+e x)}{e}}}{\sqrt {e f-d g}}}}{\sqrt {e}}+\frac {\sqrt {e f-d g} \text {arctanh}\left (\frac {\sqrt {e} \sqrt {\frac {g (d+e x)}{e}-\frac {d g}{e}+f}}{\sqrt {e f-d g}}\right ) \log \left (\frac {2}{1-\frac {\sqrt {e} \sqrt {\frac {g (d+e x)}{e}-\frac {d g}{e}+f}}{\sqrt {e f-d g}}}\right )}{\sqrt {e}}}{\sqrt {e} \sqrt {e f-d g}}\right )}{\sqrt {e f-d g}}-\frac {2 \sqrt {e} \text {arctanh}\left (\frac {\sqrt {e} \sqrt {\frac {g (d+e x)}{e}-\frac {d g}{e}+f}}{\sqrt {e f-d g}}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )}{\sqrt {e f-d g}}}{e}\) |
\(\Big \downarrow \) 2752 |
\(\displaystyle \frac {\frac {4 b e^{3/2} n \left (\frac {\text {arctanh}\left (\frac {\sqrt {e} \sqrt {\frac {g (d+e x)}{e}-\frac {d g}{e}+f}}{\sqrt {e f-d g}}\right )^2}{2 e}-\frac {\frac {\sqrt {e f-d g} \text {arctanh}\left (\frac {\sqrt {e} \sqrt {\frac {g (d+e x)}{e}-\frac {d g}{e}+f}}{\sqrt {e f-d g}}\right ) \log \left (\frac {2}{1-\frac {\sqrt {e} \sqrt {\frac {g (d+e x)}{e}-\frac {d g}{e}+f}}{\sqrt {e f-d g}}}\right )}{\sqrt {e}}+\frac {\sqrt {e f-d g} \operatorname {PolyLog}\left (2,1-\frac {2}{1-\frac {\sqrt {e} \sqrt {f-\frac {d g}{e}+\frac {g (d+e x)}{e}}}{\sqrt {e f-d g}}}\right )}{2 \sqrt {e}}}{\sqrt {e} \sqrt {e f-d g}}\right )}{\sqrt {e f-d g}}-\frac {2 \sqrt {e} \text {arctanh}\left (\frac {\sqrt {e} \sqrt {\frac {g (d+e x)}{e}-\frac {d g}{e}+f}}{\sqrt {e f-d g}}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )}{\sqrt {e f-d g}}}{e}\) |
((-2*Sqrt[e]*ArcTanh[(Sqrt[e]*Sqrt[f - (d*g)/e + (g*(d + e*x))/e])/Sqrt[e* f - d*g]]*(a + b*Log[c*(d + e*x)^n]))/Sqrt[e*f - d*g] + (4*b*e^(3/2)*n*(Ar cTanh[(Sqrt[e]*Sqrt[f - (d*g)/e + (g*(d + e*x))/e])/Sqrt[e*f - d*g]]^2/(2* e) - ((Sqrt[e*f - d*g]*ArcTanh[(Sqrt[e]*Sqrt[f - (d*g)/e + (g*(d + e*x))/e ])/Sqrt[e*f - d*g]]*Log[2/(1 - (Sqrt[e]*Sqrt[f - (d*g)/e + (g*(d + e*x))/e ])/Sqrt[e*f - d*g])])/Sqrt[e] + (Sqrt[e*f - d*g]*PolyLog[2, 1 - 2/(1 - (Sq rt[e]*Sqrt[f - (d*g)/e + (g*(d + e*x))/e])/Sqrt[e*f - d*g])])/(2*Sqrt[e])) /(Sqrt[e]*Sqrt[e*f - d*g])))/Sqrt[e*f - d*g])/e
3.3.1.3.1 Defintions of rubi rules used
Int[(a_)*(Fx_), x_Symbol] :> Simp[a Int[Fx, x], x] /; FreeQ[a, x] && !Ma tchQ[Fx, (b_)*(Gx_) /; FreeQ[b, x]]
Int[(Px_)*(u_)^(p_.)*(z_)^(q_.), x_Symbol] :> Int[Px*ExpandToSum[z, x]^q*Ex pandToSum[u, x]^p, x] /; FreeQ[{p, q}, x] && BinomialQ[z, x] && BinomialQ[u , x] && !(BinomialMatchQ[z, x] && BinomialMatchQ[u, x])
Int[Log[(c_.)*(x_)]/((d_) + (e_.)*(x_)), x_Symbol] :> Simp[(-e^(-1))*PolyLo g[2, 1 - c*x], x] /; FreeQ[{c, d, e}, x] && EqQ[e + c*d, 0]
Int[(((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))*((d_) + (e_.)*(x_)^(r_.))^(q_.)) /(x_), x_Symbol] :> With[{u = IntHide[(d + e*x^r)^q/x, x]}, Simp[u*(a + b*L og[c*x^n]), x] - Simp[b*n Int[1/x u, x], x]] /; FreeQ[{a, b, c, d, e, n , r}, x] && IntegerQ[q - 1/2]
Int[Log[(c_.)/((d_) + (e_.)*(x_))]/((f_) + (g_.)*(x_)^2), x_Symbol] :> Simp [-e/g Subst[Int[Log[2*d*x]/(1 - 2*d*x), x], x, 1/(d + e*x)], x] /; FreeQ[ {c, d, e, f, g}, x] && EqQ[c, 2*d] && EqQ[e^2*f + d^2*g, 0]
Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))^(p_.)*((f_.) + (g_ .)*(x_))^(q_.)*((h_.) + (i_.)*(x_))^(r_.), x_Symbol] :> Simp[1/e Subst[In t[(g*(x/e))^q*((e*h - d*i)/e + i*(x/e))^r*(a + b*Log[c*x^n])^p, x], x, d + e*x], x] /; FreeQ[{a, b, c, d, e, f, g, h, i, n, p, q, r}, x] && EqQ[e*f - d*g, 0] && (IGtQ[p, 0] || IGtQ[r, 0]) && IntegerQ[2*r]
Int[((a_.) + ArcTanh[(c_.)*(x_)]*(b_.))^(p_.)/((d_) + (e_.)*(x_)), x_Symbol ] :> Simp[(-(a + b*ArcTanh[c*x])^p)*(Log[2/(1 + e*(x/d))]/e), x] + Simp[b*c *(p/e) Int[(a + b*ArcTanh[c*x])^(p - 1)*(Log[2/(1 + e*(x/d))]/(1 - c^2*x^ 2)), x], x] /; FreeQ[{a, b, c, d, e}, x] && IGtQ[p, 0] && EqQ[c^2*d^2 - e^2 , 0]
Int[(((a_.) + ArcTanh[(c_.)*(x_)]*(b_.))^(p_.)*(x_))/((d_) + (e_.)*(x_)^2), x_Symbol] :> Simp[(a + b*ArcTanh[c*x])^(p + 1)/(b*e*(p + 1)), x] + Simp[1/ (c*d) Int[(a + b*ArcTanh[c*x])^p/(1 - c*x), x], x] /; FreeQ[{a, b, c, d, e}, x] && EqQ[c^2*d + e, 0] && IGtQ[p, 0]
Int[u_, x_Symbol] :> With[{lst = SubstForFractionalPowerOfLinear[u, x]}, Si mp[lst[[2]]*lst[[4]] Subst[Int[lst[[1]], x], x, lst[[3]]^(1/lst[[2]])], x ] /; !FalseQ[lst] && SubstForFractionalPowerQ[u, lst[[3]], x]]
\[\int \frac {a +b \ln \left (c \left (e x +d \right )^{n}\right )}{\left (e x +d \right ) \sqrt {g x +f}}d x\]
\[ \int \frac {a+b \log \left (c (d+e x)^n\right )}{(d+e x) \sqrt {f+g x}} \, dx=\int { \frac {b \log \left ({\left (e x + d\right )}^{n} c\right ) + a}{{\left (e x + d\right )} \sqrt {g x + f}} \,d x } \]
integral((sqrt(g*x + f)*b*log((e*x + d)^n*c) + sqrt(g*x + f)*a)/(e*g*x^2 + d*f + (e*f + d*g)*x), x)
\[ \int \frac {a+b \log \left (c (d+e x)^n\right )}{(d+e x) \sqrt {f+g x}} \, dx=\int \frac {a + b \log {\left (c \left (d + e x\right )^{n} \right )}}{\left (d + e x\right ) \sqrt {f + g x}}\, dx \]
Exception generated. \[ \int \frac {a+b \log \left (c (d+e x)^n\right )}{(d+e x) \sqrt {f+g x}} \, dx=\text {Exception raised: ValueError} \]
Exception raised: ValueError >> Computation failed since Maxima requested additional constraints; using the 'assume' command before evaluation *may* help (example of legal syntax is 'assume(e*(d*g-e*f)>0)', see `assume?` f or more de
\[ \int \frac {a+b \log \left (c (d+e x)^n\right )}{(d+e x) \sqrt {f+g x}} \, dx=\int { \frac {b \log \left ({\left (e x + d\right )}^{n} c\right ) + a}{{\left (e x + d\right )} \sqrt {g x + f}} \,d x } \]
Timed out. \[ \int \frac {a+b \log \left (c (d+e x)^n\right )}{(d+e x) \sqrt {f+g x}} \, dx=\int \frac {a+b\,\ln \left (c\,{\left (d+e\,x\right )}^n\right )}{\sqrt {f+g\,x}\,\left (d+e\,x\right )} \,d x \]